TAGs: solving inequalities